
PS changes for 2001

* update questions list
* grab example programs of different PLs for intro

- explain how cuts are used to make predicates unique
- important when searching for all solutions to a problem
- alternative is to put negative conditions in following predicates

Haskell
- missing date for first ref
- show explicitly curried & non-curried functions together (plus?)

Lambda
- show how complex expressions parsed -- add parens
- perhaps start with examples earlier; THEN talk about substitution etc.


BCNF
- FIX:
fdsok([A->B|ToCheck], FDS, RS) :-
	subset(A, RS), inter(B, RS, X), not(X == []), !, % A applies to RS
	iskey(A, RS, FDS), % A is a key for RS
	fdsok(ToCheck,FDS,RS).


---

Kommentare: 

mehr Testbeispiele fuer die Uebungen
	-> ...
Uebersicht ueber die Haskell befehle
	-> tutorial
Type systems: nicht ganz klar
Type systems: User data types besser erklaeren
	-> OK
Lambda: wie klammern
mehr Lambda Kalkuel beispiele
	-> lecture + tutorial
Prozess calculus weglassen
	-> replace by CHAM?
Prolog: functional decomposition nicht verstanden (nicht mehr in DB Oscars vorlesung)
	-> REPLACE
Symbolic Interpret: fxy, xfy etc nicht verstanden
	-> OK
Scripting: bringt nichts da Bsp zu unuebersichtlich
Scripting: weder theoretische noch praktische Relevanz. Ich kann jetzt auch nicht Python programmieren
Python zu unuebersichtlich
	-> drop it
Skript verbesserungsfaehig! (sonst I.A gut)
